From 6c22b70ca05a2a633c36f92308780208dce765ef Mon Sep 17 00:00:00 2001
From: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Date: Thu, 31 Oct 2019 12:46:13 +0000
Subject: [PATCH] arm-gcc-flags

Gbp-Pq: Name arm-gcc-flags.patch
---
 Makefile.arm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.arm b/Makefile.arm
index b5d80f8..df0fded 100644
--- a/Makefile.arm
+++ b/Makefile.arm
@@ -9,6 +9,6 @@ endif
 endif
 
 ifeq ($(CORE), ARMV6)
-CCOMMON_OPT += -mfpu=vfp
-FCOMMON_OPT += -mfpu=vfp
+CCOMMON_OPT += -mfpu=vfpv3-d16 -march=armv7-a
+FCOMMON_OPT += -mfpu=vfpv3-d16 -march=armv7-a
 endif
-- 
2.30.2